Validation and automatic test generation on UML models

Validation of UML and OCL Models by Automatic Snapshot Generation

Automatic Test Case Generation from UML Models and OCL Expressions

In this paper, we discuss one approach of automated test case generation from UML models and OCL expressions. We show how to use UML and OCL to support several coverage criteria. We introduce our current prototype implementation, compare it to commercial tools, and sketch shortcomings and further development.

Deriving Input Partitions from UML Models for Automatic Test Generation

In this paper, we deal with model-based automatic test generation. We show how to use UML state machines, UML class diagrams, and OCL expressions to automatically derive partitions of input parameter value ranges for boundary testing. We present a test generation algorithm and describe an implementation of this algorithm. Finally, we discuss our approach and compare it to commercial tools.

Automatic Test Generation from Coupled UML Models using Input Partitions

In this paper, we deal with model-based automatic test generation. We show how to use coupled models consisting of UML state machines, class diagrams, and OCL expressions to automatically derive partitions of input ranges for boundary testing. We present a test generation algorithm, describe an implementation of this algorithm, and compare this implementation to Rhapsody’s ATG.

Automatic Test Generation from UML Sequence Diagrams

Automatic generation of test cases for functional testing is a challenging task. It involves complex sub tasks such as capturing user scenarios, parsing user scenarios to generate test cases, ensuring test coverage criteria, test script generation from test cases, test execution and report generation. In this paper, a method is proposed to generate test cases after parsing Sequence diagram and ...